tsjs7srsbpsvzbtb8bzrsvtrs$ts]b8}$$%sstis ]bb}s$%set%$bt8trs
نویسنده
چکیده
d
منابع مشابه
Closure of Tree Automata Languages under Innermost Rewriting
Preservation of regularity by a term rewrite system (TRS) states that the set of reachable terms from a tree automata (TA) language (aka regular term set) is also a TA language. It is an important and useful property, and there have been many works on identifying classes of TRS ensuring it; unfortunately, regularity is not preserved for restricted classes of TRS like shallow TRS. Nevertheless, ...
متن کاملDecision Problems in Ordered Rewriting
A term rewrite system (TRS) terminates ii its rules are contained in a reduction ordering >. In order to deal with any set of equations, including inherently non-terminating ones (like commutativity), TRS have been generalised to ordered TRS (E; >), where equations of E are applied in whatever direction agrees with >. The connuence of terminating TRS is well-known to be decidable, but for order...
متن کاملTelomere-mediated plasmid segregation in Saccharomyces cerevisiae involves gene products required for transcriptional repression at silencers and telomeres.
Plasmids that contain Saccharomyces cerevisiae TG1-3 telomere repeat sequences (TRS plasmids) segregate efficiently during mitosis. Mutations in histone H4 reduce the efficiency of TRS-mediated plasmid segregation, suggesting that chromatin structure is involved in this process. Sir2, Sir3 and Sir4 are required for the transcriptional repression of genes located at the silent mating type loci (...
متن کاملGuidelines for Article Preparation for the Transactions on Rough Sets
This document focuses on how to prepare a research article for submission to the Transactions on Rough Sets (TRS), which is a journal subline of the Lecture Notes in Computer Science (LNCS) published by Springer. The TRS journal is an outgrowth of the pioneering work on rough sets by Zdzis law Pawlak and many others during the past 25 years. This journal is the primary publication of the Intern...
متن کاملA Comparison of dosimetric parameters between IAEA TRS-398, AAPM TG-51 protocols and Monte-Carlo simulation
Background: Two protocols of AAPM TG-51 and IAEA TRS-398 were compared followed by a measurement and Monte Carlo simulation of beam quality correction factor, KQ, AAPM TG-51 and IAEA TRS-398 protocols were compared for the absorbed dose to water for DW, and KQ parameters. Materials and Methods: Dose measurements by either protocols were performed with cylindrical and plane parallel ch...
متن کامل